1. Logic-based methods for optimization: combining optimization and constraint satisfaction
پدیدآورنده : Hooker, John
موضوع : ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Logic-based methods for optimization :
پدیدآورنده: John Hooker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Linear programming.,Logic, Symbolic and mathematical.,Mathematical optimization.
رده :
T57
.
74
J646
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Logic-based methods for optimization: combining and constraint satisfaction
پدیدآورنده: John Hooker
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع: Linear programming,Mathematical optimization,Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H66
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Logic-based methods for optimization: combining optimization and constraint satisfaction
پدیدآورنده: Hooker, John
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H66
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Logic-based methods for optimization : combining optimization and constraint satisfaction
پدیدآورنده: Hooker, John, 9491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Linear programming,، Mathematical optimization,، Logic, Symbolic and mathematical
رده :
T
57
.
74
.
H6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Optimization and computational logic
پدیدآورنده: McAloon, Kenneth.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Linear programming , Mathematical optimization , Logic, Symbolic and mathematical
رده :
T
57
.
74
.
M39
1996
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)